Model of computation

#	Item
511	PDF Document Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2013-07-12 23:59:22 Computer science Academia Turing degree Recursively enumerable set Mathematical logic Michael Fellows Logic Model theory John Lane Bell Computability theory Theory of computation Mathematics
512	PDF Document Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 12:42:43 Computer science Petri net State transition system Structure Formal language Model theory Curry–Howard correspondence Denotational semantics Models of computation Mathematics Theoretical computer science